def foo() -> None
